% latex table generated in R 3.1.0 by xtable 1.7-4 package
% Tue Apr  7 08:53:05 2015
Scenario & PAR10 & Number & PAR10 & Number & PAR10 \\ 
  \midrule
SAT11-HAND & 17897.90 & 15 $\to$ 7 & 16404.70 & 113 $\to$ 5 & 15913.69 \\ 
  SAT11-INDU & 12598.37 & 18 $\to$ 5 & 12295.47 & 112 $\to$ 5 & 10787.97 \\ 
  SAT11-RAND & 10173.51 & 9 $\to$ 4 & 9947.35 & 112 $\to$ 5 & 9775.63 \\ 
  SAT12-ALL & 943.20 & 31 $\to$ 15 & 924.72 & 113 $\to$ 5 & 866.03 \\ 
  SAT12-HAND & 4204.49 & 31 $\to$ 8 & 4342.31 & 113 $\to$ 5 & 4076.52 \\ 
  SAT12-INDU & 2792.21 & 31 $\to$ 7 & 2770.48 & 113 $\to$ 4 & 2537.77 \\ 
  SAT12-RAND & 3239.43 & 31 $\to$ 3 & 3135.41 & 113 $\to$ 3 & 3079.54 \\ 
  QBF-2011 & 9074.97 & 5 $\to$ 4 & 9149.56 & 46 $\to$ 8 & 8895.07 \\ 
  MAXSAT12-PMS & 3367.55 & 6 $\to$ 4 & 3274.20 & 30 $\to$ 4 & 3249.77 \\ 
  CSP-2010 & 6466.71 & 2 $\to$ 2 & 6494.05 & 69 $\to$ 3 & 6391.16 \\ 
  PROTEUS-2014 & 5858.31 & 22 $\to$ 7 & 5734.79 & 31 $\to$ 3 & 5894.08 \\ 
  ASP-POTASSCO & 509.12 & 11 $\to$ 8 & 496.93 & 134 $\to$ 3 & 481.75 \\ 
  PREMARSHALLING-ASTAR-2013 & 5546.52 & 4 $\to$ 3 & 5439.27 & 16 $\to$ 4 & 4407.74 \\ 
   \bottomrule
